A Theory of \ May "
نویسندگان
چکیده
Asynchronous communication mechanisms are usually at the basis of real distributed systems and protocols. For these systems, asynchronous may-based testing seems to be exactly what is needed to capture safety and certain security properties. We study may testing equivalence focusing on the asynchronous versions of CCS and pi-calculus. We start from an operational testing preorder and provide nitary and fully abstract trace-based models for it, together with complete inequational axiomatizations. The results throw light on the diierences between synchronous and asynchronous systems and on the weaker testing power of asynchronous observations.
منابع مشابه
A Zigzag Theory with Local Shear Correction Factors for Semi-Analytical Bending Modal Analysis of Functionally Graded Viscoelastic Circular Sandwich Plates
Free bending vibration analysis of the functionally graded viscoelastic circular sandwich plates is accomplished in the present paper, for the first time. Furthermore, local shear corrections factors are presented that may consider simultaneous effects of the gradual variations of the material properties and the viscoelastic behaviors of the materials, for the first time. Moreover, in contrast ...
متن کاملUniversal Grammar and Chaos/Complexity Theory: Where Do They Meet And Where Do They Cross?
Abstract The present study begins by sketching "Chaos/Complexity Theory" (C/CT) and its applica-tion to the nature of language and language acquisition. Then, the theory of "Universal Grammar" (UG) is explicated with an eye to C/CT. Firstly, it is revealed that CCT may or may not be allied with a theory of language acquisition that takes UG as the initial state of language acquisition for ...
متن کاملSchwab's Practical Theory: Integrate of Theory and Practice
The emergence of re-conceptualism in the field of curriculum studies caused a large rotation of identity in this field. The book titled "understanding of curriculum" by William Pinar may be considered the most outstanding work in the field. In this book, movement which affected pre re-conceptualist, are introduced as the traditional type and it is believed the new curriculum discourses should b...
متن کاملEvaluation of Rough Set Theory for Decision Making of rehabilitation Method for Concrete Pavement
In recent years a great number of advanced theoretical - empirical methods has been developed for design & modeling concrete pavements distress. But there is no reliable theoretical method to be use in evaluation of conerete pavements distresses and making a decision about repairing them. Only empirical methods is used for this reason. One of the most usual methods in evaluating concrete paveme...
متن کاملFrom Mid-Level Policy Analysis to Macro-Level Political Economy; Comment on “Developing a Framework for a Program Theory-Based Approach to Evaluating Policy Processes and Outcomes: Health in All Policies in South Australia”
This latest contribution by the evaluation research team at Flinders University/Southgate Institute on their multiyear study of South Australia’s Health in All Policies (HiAP) initiative is simultaneously frustrating, exemplary, and partial. It is frustrating because it does not yet reveal the extent to which the initiative achieved its stated outcomes; that awaits further papers. It is exempla...
متن کاملIranian EFL Learners' Perception of the Efficacy of Activity Theory-based Reading Comprehension
Any language classroom is a distinctive learning context offering numerous affordances that might be perceived effectively, remain unnoticed, or even act as constraints. Therefore, exploring students' perception toward a particular method of instruction is crucial since it may produce a reliable piece of evidence for teachers to confirm or refute the effectiveness of the intended instructional ...
متن کامل